magnitude of a real number

实数的大小